Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
551	Techniques for Generating Communicating Systems1 James M. Neighbors Bayfront Technologies, Inc.2 [removed] Abstract: This position paper presents a simple triad model for generating communi Add to Reading List Source URL: www.bayfronttechnologies.com Language: English - Date: 2007-08-26 13:54:01 Systems engineering Abstraction Data management Abstract Syntax Notation One Communications protocol Domain-specific language XML Systems engineering process Data model Computing Data Information
552	Treatment of Complex Prepositions in Czech and English Dictionaries Renata Novotná Keywords: complex prepositions, representative corpora, monolingual and bilingual dictionaries. Abstract The paper studies complex prepo Add to Reading List Source URL: ucnk.ff.cuni.cz Language: English - Date: 2012-08-21 07:39:17 Syntax Czech language Letter case Pattern grammar Prepositional case Linguistics Parts of speech Preposition and postposition
553	The flexible open source ASN.1 framework for Java and .NET BinaryNotes Add to Reading List Source URL: bnotes.sourceforge.net Language: English - Date: 2011-09-14 15:16:06 Procedural programming languages Cross-platform software Abstract Syntax Notation One Basic Encoding Rules ALGOL 68 Distinguished Encoding Rules Java C Sharp Generic String Encoding Rules Computing Software engineering Computer programming
554	The flexible open source ASN.1 framework for Java and .NET Add to Reading List Source URL: bnotes.sourceforge.net Language: English - Date: 2011-09-14 15:15:42 Basic Encoding Rules Distinguished Encoding Rules Java Generic String Encoding Rules Canonical Encoding Rules C Sharp SQL Attribute Packed Encoding Rules Computing Software engineering Abstract Syntax Notation One
555	Preferential Logics: the Predicate Calculus case (extended abstract) Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Non-classical logic Logical syntax Predicate logic Logic programming Default logic First-order logic Function Entailment Propositional formula Logic Mathematical logic Propositional calculus
556	Building Abstract Syntax Trees with Coco/R Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2011-09-08 04:17:51 Formal languages Parsing Procedural programming languages Attribute grammar Compiler construction ECL programming language Expr JavaScript Find Computing Software engineering Software
557	Abstract Interpretation Using Laziness: Proving Conway’s Lost Cosmological Theorem Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-14 13:01:57 Combinatorics Logical syntax Combinatorics on words Mathematical logic Formal proof Logical truth Theorem Mathematical proof Haskell Logic Mathematics Formal languages
558	NOMINAL LOGIC PROGRAMMING A Dissertation Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-11-18 09:15:28 Grammar Theoretical computer science Logic in computer science Nominal terms Denotational semantics Prolog Higher-order abstract syntax Syntax Programming language Mathematics Logic Programming language theory
559	Scrap your Nameplate (Functional Pearl) James Cheney Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-07-12 06:34:19 Type theory Lambda calculus Functional programming Data types Theoretical computer science Unification Generic programming Higher-order abstract syntax De Bruijn index Software engineering Mathematics Computing
560	Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:44 Software engineering Predicate logic Automated theorem proving Unification Higher-order abstract syntax Prolog Free variables and bound variables First-order logic Function Mathematics Mathematical logic Logic programming

UPDATE